Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000

 Автор: , Автор:
Категория: CsLn_
Размер книги: 27.41 Mb

Formal Methods in Computer-Aided Design

 Автор: , Автор:
Размер книги: 3.52 Mb